Proof of (sin x)